[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 37 23 52 37 0 31 79

N.S.

1 1.00 1.68 1.05 2.36 1.68 0.00 1.41 3.59

time (sec)

N/A 0.268 0.394 0.138 0.285 0.274 0.000 0.412 9.832

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 69 42 70 62 0 65 25

N.S.

1 1.00 2.38 1.45 2.41 2.14 0.00 2.24 0.86

time (sec)

N/A 0.286 0.142 0.161 0.205 0.276 0.000 0.425 9.599

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 94 68 115 88 0 94 87

N.S.

1 0.98 1.77 1.28 2.17 1.66 0.00 1.77 1.64

time (sec)

N/A 0.411 0.876 0.186 0.199 0.278 0.000 0.409 9.475

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 67 126 94 153 119 0 128 119

N.S.

1 0.93 1.75 1.31 2.12 1.65 0.00 1.78 1.65

time (sec)

N/A 0.445 1.083 0.207 0.201 0.286 0.000 0.402 9.906

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 91 125 122 195 143 0 157 151

N.S.

1 0.96 1.32 1.28 2.05 1.51 0.00 1.65 1.59

time (sec)

N/A 0.545 1.423 0.240 0.208 0.285 0.000 0.345 9.775

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 105 189 134 234 173 0 187 291

N.S.

1 0.92 1.66 1.18 2.05 1.52 0.00 1.64 2.55

time (sec)

N/A 0.557 1.236 0.270 0.192 0.276 0.000 0.343 10.240

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 97 209 115 398 144 3580 145 147

N.S.

1 0.87 1.88 1.04 3.59 1.30 32.25 1.31 1.32

time (sec)

N/A 0.481 1.628 0.362 0.287 0.288 21.487 0.341 13.210

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 72 165 98 312 119 2263 106 120

N.S.

1 0.87 1.99 1.18 3.76 1.43 27.27 1.28 1.45

time (sec)

N/A 0.452 1.009 0.289 0.279 0.277 12.773 0.323 13.459

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 61 69 65 226 100 1248 91 95

N.S.

1 0.88 1.00 0.94 3.28 1.45 18.09 1.32 1.38

time (sec)

N/A 0.513 0.252 0.253 0.285 0.258 7.174 0.340 12.178

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 50 117 50 139 77 479 78 68

N.S.

1 1.06 2.49 1.06 2.96 1.64 10.19 1.66 1.45

time (sec)

N/A 0.271 0.148 0.207 0.283 0.257 3.798 0.370 9.334

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 38 115 34 55 103 0 38 39

N.S.

1 0.95 2.88 0.85 1.38 2.58 0.00 0.95 0.98

time (sec)

N/A 0.367 0.476 0.231 0.214 0.271 0.000 0.319 9.693

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 49 216 59 116 160 0 90 87

N.S.

1 0.91 4.00 1.09 2.15 2.96 0.00 1.67 1.61

time (sec)

N/A 0.273 0.937 0.315 0.211 0.296 0.000 0.320 9.450

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 70 364 87 161 246 0 116 120

N.S.

1 0.90 4.67 1.12 2.06 3.15 0.00 1.49 1.54

time (sec)

N/A 0.440 1.205 0.325 0.251 0.283 0.000 0.340 9.550

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 80 472 113 199 302 0 146 153

N.S.

1 0.88 5.19 1.24 2.19 3.32 0.00 1.60 1.68

time (sec)

N/A 0.474 1.652 0.352 0.204 0.273 0.000 0.472 9.619

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 101 197 123 314 163 2264 117 121

N.S.

1 1.04 2.03 1.27 3.24 1.68 23.34 1.21 1.25

time (sec)

N/A 0.485 1.121 0.554 0.281 0.276 23.095 0.465 13.448

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 80 96 84 228 144 1246 80 94

N.S.

1 1.05 1.26 1.11 3.00 1.89 16.39 1.05 1.24

time (sec)

N/A 0.491 0.629 0.388 0.283 0.292 13.710 0.449 12.468

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 64 145 55 142 124 529 60 54

N.S.

1 1.05 2.38 0.90 2.33 2.03 8.67 0.98 0.89

time (sec)

N/A 0.415 0.349 0.321 0.281 0.272 7.539 0.443 9.622

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 72 185 64 143 194 0 66 64

N.S.

1 1.06 2.72 0.94 2.10 2.85 0.00 0.97 0.94

time (sec)

N/A 0.421 0.684 0.375 0.198 0.263 0.000 0.618 9.850

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 86 255 89 202 279 0 109 145

N.S.

1 1.05 3.11 1.09 2.46 3.40 0.00 1.33 1.77

time (sec)

N/A 0.367 1.524 0.440 0.261 0.281 0.000 0.416 9.942

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 308 117 247 365 0 143 178

N.S.

1 1.04 2.91 1.10 2.33 3.44 0.00 1.35 1.68

time (sec)

N/A 0.490 4.979 0.534 0.264 0.271 0.000 0.371 9.570

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 154 171 82 355 243 1501 112 207

N.S.

1 1.07 1.19 0.57 2.47 1.69 10.42 0.78 1.44

time (sec)

N/A 0.660 1.059 0.689 0.229 0.248 43.592 0.378 9.476

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 231 109 85 0 151 0 157 0

N.S.

1 1.20 0.56 0.44 0.00 0.78 0.00 0.81 0.00

time (sec)

N/A 1.313 0.869 0.138 0.000 0.268 0.000 0.343 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 139 99 75 0 130 0 128 0

N.S.

1 1.12 0.80 0.60 0.00 1.05 0.00 1.03 0.00

time (sec)

N/A 0.738 0.670 1.089 0.000 0.268 0.000 0.307 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 97 89 65 0 111 0 99 0

N.S.

1 1.05 0.97 0.71 0.00 1.21 0.00 1.08 0.00

time (sec)

N/A 0.507 0.250 0.103 0.000 0.250 0.000 0.317 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 105 143 103 0 250 0 132 0

N.S.

1 1.13 1.54 1.11 0.00 2.69 0.00 1.42 0.00

time (sec)

N/A 0.700 0.686 0.103 0.000 0.283 0.000 0.363 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 99 206 129 0 279 0 149 0

N.S.

1 1.11 2.31 1.45 0.00 3.13 0.00 1.67 0.00

time (sec)

N/A 0.516 0.950 0.106 0.000 0.273 0.000 0.381 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 111 249 126 0 319 0 155 0

N.S.

1 1.10 2.47 1.25 0.00 3.16 0.00 1.53 0.00

time (sec)

N/A 0.763 0.930 0.120 0.000 0.288 0.000 0.340 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 155 285 144 0 361 0 184 0

N.S.

1 1.13 2.08 1.05 0.00 2.64 0.00 1.34 0.00

time (sec)

N/A 0.955 1.498 0.111 0.000 0.293 0.000 0.384 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 274 120 97 0 189 0 192 0

N.S.

1 1.18 0.52 0.42 0.00 0.81 0.00 0.82 0.00

time (sec)

N/A 1.526 2.793 0.105 0.000 0.258 0.000 0.332 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 173 110 87 0 166 0 162 0

N.S.

1 1.11 0.71 0.56 0.00 1.06 0.00 1.04 0.00

time (sec)

N/A 0.900 7.614 0.398 0.000 0.275 0.000 0.340 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 133 100 77 0 145 0 132 0

N.S.

1 1.07 0.81 0.62 0.00 1.17 0.00 1.06 0.00

time (sec)

N/A 0.634 0.777 0.105 0.000 0.262 0.000 0.435 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 133 145 123 0 282 0 165 0

N.S.

1 1.08 1.18 1.00 0.00 2.29 0.00 1.34 0.00

time (sec)

N/A 0.892 5.419 0.108 0.000 0.267 0.000 0.426 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 134 233 154 0 315 0 183 0

N.S.

1 1.11 1.93 1.27 0.00 2.60 0.00 1.51 0.00

time (sec)

N/A 0.767 5.967 0.108 0.000 0.302 0.000 0.440 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 144 271 151 0 359 0 185 0

N.S.

1 1.10 2.07 1.15 0.00 2.74 0.00 1.41 0.00

time (sec)

N/A 0.969 1.811 0.102 0.000 0.286 0.000 0.444 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 154 286 144 0 380 0 188 0

N.S.

1 1.11 2.06 1.04 0.00 2.73 0.00 1.35 0.00

time (sec)

N/A 1.031 2.554 0.105 0.000 0.289 0.000 0.615 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 186 97 74 0 136 0 103 0

N.S.

1 1.18 0.61 0.47 0.00 0.86 0.00 0.65 0.00

time (sec)

N/A 0.954 1.380 0.090 0.000 0.255 0.000 0.315 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 136 87 64 0 115 0 84 0

N.S.

1 1.48 0.95 0.70 0.00 1.25 0.00 0.91 0.00

time (sec)

N/A 0.710 0.629 0.305 0.000 0.258 0.000 0.352 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 77 54 0 96 0 65 0

N.S.

1 1.00 1.28 0.90 0.00 1.60 0.00 1.08 0.00

time (sec)

N/A 0.365 0.268 0.087 0.000 0.271 0.000 0.342 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 70 116 87 0 236 0 112 0

N.S.

1 1.11 1.84 1.38 0.00 3.75 0.00 1.78 0.00

time (sec)

N/A 0.499 0.379 0.094 0.000 0.275 0.000 0.376 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 138 103 0 263 0 132 0

N.S.

1 1.00 2.23 1.66 0.00 4.24 0.00 2.13 0.00

time (sec)

N/A 0.340 0.511 0.108 0.000 0.276 0.000 0.370 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 110 272 124 0 320 0 149 0

N.S.

1 1.10 2.72 1.24 0.00 3.20 0.00 1.49 0.00

time (sec)

N/A 0.685 2.017 0.104 0.000 0.279 0.000 0.400 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 151 292 144 0 367 0 168 0

N.S.

1 1.12 2.16 1.07 0.00 2.72 0.00 1.24 0.00

time (sec)

N/A 0.886 1.522 0.112 0.000 0.302 0.000 0.352 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 208 201 148 0 259 0 182 0

N.S.

1 1.13 1.09 0.80 0.00 1.41 0.00 0.99 0.00

time (sec)

N/A 1.273 3.058 0.102 0.000 0.303 0.000 0.343 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 150 150 112 0 236 0 144 0

N.S.

1 1.07 1.07 0.80 0.00 1.69 0.00 1.03 0.00

time (sec)

N/A 0.754 0.645 0.365 0.000 0.278 0.000 0.336 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 112 149 110 0 215 0 144 0

N.S.

1 1.04 1.38 1.02 0.00 1.99 0.00 1.33 0.00

time (sec)

N/A 0.492 0.585 0.088 0.000 0.255 0.000 0.331 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 89 130 97 0 291 0 152 0

N.S.

1 1.05 1.53 1.14 0.00 3.42 0.00 1.79 0.00

time (sec)

N/A 0.596 0.462 0.104 0.000 0.276 0.000 0.418 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 121 206 135 0 421 0 205 0

N.S.

1 1.07 1.82 1.19 0.00 3.73 0.00 1.81 0.00

time (sec)

N/A 0.607 1.819 0.115 0.000 0.292 0.000 0.421 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 167 309 164 0 508 0 224 0

N.S.

1 1.09 2.02 1.07 0.00 3.32 0.00 1.46 0.00

time (sec)

N/A 1.095 3.270 0.118 0.000 0.293 0.000 0.434 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) B F A F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

191 213 332 182 0 564 0 240 0

N.S.

1 1.12 1.74 0.95 0.00 2.95 0.00 1.26 0.00

time (sec)

N/A 1.380 2.594 0.116 0.000 0.294 0.000 0.415 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 51 48 50 72 90 50 49

N.S.

1 1.05 0.78 0.74 0.77 1.11 1.38 0.77 0.75

time (sec)

N/A 0.249 0.295 0.240 0.239 0.273 0.463 0.720 0.071

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 51 48 50 62 90 50 49

N.S.

1 1.05 0.78 0.74 0.77 0.95 1.38 0.77 0.75

time (sec)

N/A 0.254 0.145 0.188 0.198 0.266 0.319 0.377 0.066

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 47 58 48 50 51 66 50 49

N.S.

1 0.96 1.18 0.98 1.02 1.04 1.35 1.02 1.00

time (sec)

N/A 0.349 0.057 0.146 0.198 0.251 0.213 0.343 0.069

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 41 44 46 48 39 60 48 46

N.S.

1 0.91 0.98 1.02 1.07 0.87 1.33 1.07 1.02

time (sec)

N/A 0.215 0.008 0.125 0.212 0.273 0.152 0.303 0.061

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 61 56 45 47 51 0 48 92

N.S.

1 1.09 1.00 0.80 0.84 0.91 0.00 0.86 1.64

time (sec)

N/A 0.239 0.030 0.242 0.224 0.288 0.000 0.313 10.313

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 58 53 65 46 68 0 47 140

N.S.

1 1.09 1.00 1.23 0.87 1.28 0.00 0.89 2.64

time (sec)

N/A 0.241 0.016 0.167 0.209 0.274 0.000 0.317 9.627

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 48 60 67 45 69 0 46 146

N.S.

1 0.89 1.11 1.24 0.83 1.28 0.00 0.85 2.70

time (sec)

N/A 0.213 0.071 0.172 0.213 0.278 0.000 0.332 10.298

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 38 28 30 29 47 277 29 26

N.S.

1 1.03 0.76 0.81 0.78 1.27 7.49 0.78 0.70

time (sec)

N/A 0.281 0.049 0.142 0.201 0.272 6.524 0.368 0.048

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 28 30 29 37 224 29 26

N.S.

1 1.00 0.76 0.81 0.78 1.00 6.05 0.78 0.70

time (sec)

N/A 0.299 0.034 0.118 0.214 0.268 3.526 0.335 9.849

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 23 24 25 25 25 158 25 22

N.S.

1 0.72 0.75 0.78 0.78 0.78 4.94 0.78 0.69

time (sec)

N/A 0.202 0.028 0.082 0.207 0.267 1.790 0.411 0.045

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 28 23 28 27 25 0 28 71

N.S.

1 0.97 0.79 0.97 0.93 0.86 0.00 0.97 2.45

time (sec)

N/A 0.254 0.033 0.115 0.220 0.283 0.000 0.332 9.445

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 27 22 24 29 34 0 30 59

N.S.

1 0.90 0.73 0.80 0.97 1.13 0.00 1.00 1.97

time (sec)

N/A 0.264 0.031 0.109 0.213 0.300 0.000 0.293 9.612

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 24 25 26 30 0 26 23

N.S.

1 1.00 0.75 0.78 0.81 0.94 0.00 0.81 0.72

time (sec)

N/A 0.295 0.014 0.085 0.206 0.255 0.000 0.357 9.926

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 36 28 30 26 38 0 26 36

N.S.

1 0.97 0.76 0.81 0.70 1.03 0.00 0.70 0.97

time (sec)

N/A 0.268 0.043 0.110 0.197 0.269 0.000 0.410 9.659

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 38 28 30 26 41 0 26 25

N.S.

1 1.03 0.76 0.81 0.70 1.11 0.00 0.70 0.68

time (sec)

N/A 0.282 0.037 0.151 0.238 0.268 0.000 0.456 9.683

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 151 84 85 71 95 272 107 353

N.S.

1 1.06 0.59 0.59 0.50 0.66 1.90 0.75 2.47

time (sec)

N/A 0.672 0.275 0.498 0.225 0.271 0.979 0.522 13.579

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 139 71 76 61 84 248 92 320

N.S.

1 1.09 0.56 0.60 0.48 0.66 1.95 0.72 2.52

time (sec)

N/A 0.645 0.144 0.354 0.215 0.274 0.667 0.762 13.537

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 111 81 83 65 73 192 107 292

N.S.

1 1.08 0.79 0.81 0.63 0.71 1.86 1.04 2.83

time (sec)

N/A 0.526 0.117 0.268 0.213 0.278 0.462 0.382 13.848

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 96 71 68 52 62 167 92 292

N.S.

1 1.10 0.82 0.78 0.60 0.71 1.92 1.06 3.36

time (sec)

N/A 0.454 0.094 0.243 0.211 0.275 0.328 0.309 13.412

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 88 81 66 81 88 0 145 245

N.S.

1 0.99 0.91 0.74 0.91 0.99 0.00 1.63 2.75

time (sec)

N/A 0.406 0.212 0.202 0.209 0.269 0.000 0.304 11.378

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 86 77 94 90 107 0 142 244

N.S.

1 1.04 0.93 1.13 1.08 1.29 0.00 1.71 2.94

time (sec)

N/A 0.402 0.453 0.198 0.286 0.289 0.000 0.327 9.896

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 105 94 116 101 139 0 163 239

N.S.

1 1.12 1.00 1.23 1.07 1.48 0.00 1.73 2.54

time (sec)

N/A 0.390 0.507 0.229 0.302 0.294 0.000 0.326 10.428

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 125 86 92 160 0 141 228

N.S.

1 1.00 1.52 1.05 1.12 1.95 0.00 1.72 2.78

time (sec)

N/A 0.270 0.021 0.199 0.304 0.270 0.000 0.393 9.722

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 92 153 104 107 180 0 153 217

N.S.

1 1.05 1.74 1.18 1.22 2.05 0.00 1.74 2.47

time (sec)

N/A 0.600 0.153 0.216 0.292 0.274 0.000 0.356 9.804

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 135 100 86 160 0 173 289

N.S.

1 1.07 1.82 1.35 1.16 2.16 0.00 2.34 3.91

time (sec)

N/A 0.510 0.015 0.273 0.206 0.270 0.000 0.351 11.261

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 107 175 118 106 187 0 201 337

N.S.

1 1.09 1.79 1.20 1.08 1.91 0.00 2.05 3.44

time (sec)

N/A 0.642 0.177 0.322 0.219 0.285 0.000 0.356 10.264

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 121 239 133 118 221 0 229 385

N.S.

1 1.06 2.10 1.17 1.04 1.94 0.00 2.01 3.38

time (sec)

N/A 0.674 0.189 0.371 0.197 0.315 0.000 0.335 10.604

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 147 279 156 138 239 0 201 337

N.S.

1 1.08 2.05 1.15 1.01 1.76 0.00 1.48 2.48

time (sec)

N/A 0.787 0.178 0.413 0.217 0.297 0.000 0.461 11.400

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 116 120 123 124 554 174 469

N.S.

1 1.00 0.63 0.65 0.66 0.67 2.99 0.94 2.54

time (sec)

N/A 0.543 6.910 0.739 0.220 0.306 1.299 0.597 13.249

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 86 89 101 111 335 123 437

N.S.

1 1.00 0.54 0.56 0.64 0.70 2.11 0.77 2.75

time (sec)

N/A 0.459 0.389 0.589 0.209 0.287 0.918 0.528 12.754

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 96 98 102 98 420 140 363

N.S.

1 1.00 0.68 0.70 0.72 0.70 2.98 0.99 2.57

time (sec)

N/A 0.452 0.324 0.441 0.219 0.294 0.687 0.457 13.366

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 137 86 89 82 85 223 123 388

N.S.

1 1.06 0.67 0.69 0.64 0.66 1.73 0.95 3.01

time (sec)

N/A 0.575 0.157 0.327 0.231 0.276 0.464 0.709 11.513

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 96 79 98 115 0 181 293

N.S.

1 1.00 0.81 0.66 0.82 0.97 0.00 1.52 2.46

time (sec)

N/A 0.347 5.753 0.296 0.211 0.288 0.000 0.347 11.054

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 120 83 115 128 135 0 210 310

N.S.

1 1.03 0.72 0.99 1.10 1.16 0.00 1.81 2.67

time (sec)

N/A 0.420 0.602 0.289 0.302 0.304 0.000 0.344 9.310

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 102 158 158 151 172 0 178 303

N.S.

1 1.04 1.61 1.61 1.54 1.76 0.00 1.82 3.09

time (sec)

N/A 0.355 6.731 0.318 0.307 0.288 0.000 0.378 9.668

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 102 191 146 139 192 0 209 293

N.S.

1 1.04 1.95 1.49 1.42 1.96 0.00 2.13 2.99

time (sec)

N/A 0.341 3.902 0.303 0.310 0.300 0.000 0.378 9.419

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 120 215 168 167 219 0 162 265

N.S.

1 1.03 1.85 1.45 1.44 1.89 0.00 1.40 2.28

time (sec)

N/A 0.367 6.650 0.302 0.479 0.279 0.000 0.377 10.012

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 200 130 124 239 0 207 275

N.S.

1 1.00 1.69 1.10 1.05 2.03 0.00 1.75 2.33

time (sec)

N/A 0.382 0.596 0.294 0.303 0.264 0.000 0.424 10.140

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 267 172 181 211 0 229 339

N.S.

1 1.00 2.02 1.30 1.37 1.60 0.00 1.73 2.57

time (sec)

N/A 0.434 0.269 0.335 0.227 0.275 0.000 0.427 11.215

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 291 146 233 271 0 293 319

N.S.

1 1.00 1.65 0.83 1.32 1.54 0.00 1.66 1.81

time (sec)

N/A 0.501 6.374 0.438 0.213 0.275 0.000 0.414 10.339

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 313 198 177 304 0 261 387

N.S.

1 1.00 1.86 1.18 1.05 1.81 0.00 1.55 2.30

time (sec)

N/A 0.474 6.727 0.440 0.221 0.279 0.000 0.411 13.301

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 353 168 283 340 0 357 395

N.S.

1 1.00 1.62 0.77 1.30 1.56 0.00 1.64 1.81

time (sec)

N/A 0.566 6.785 0.575 0.249 0.306 0.000 0.523 10.861

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 126 131 169 137 648 191 506

N.S.

1 1.00 0.62 0.65 0.83 0.67 3.19 0.94 2.49

time (sec)

N/A 0.605 12.196 0.780 0.239 0.301 1.969 0.703 13.182

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 116 120 149 124 595 174 572

N.S.

1 1.00 0.64 0.66 0.82 0.68 3.27 0.96 3.14

time (sec)

N/A 0.556 0.580 0.670 0.201 0.295 1.371 0.624 11.892

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 106 111 138 111 486 157 437

N.S.

1 1.00 0.67 0.70 0.87 0.70 3.06 0.99 2.75

time (sec)

N/A 0.502 0.483 0.637 0.219 0.305 0.993 0.588 13.600

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 171 96 100 115 98 440 140 461

N.S.

1 1.09 0.61 0.64 0.73 0.62 2.80 0.89 2.94

time (sec)

N/A 0.768 0.223 0.484 0.205 0.286 0.742 0.390 11.972

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 102 88 135 128 0 229 355

N.S.

1 1.00 0.71 0.62 0.94 0.90 0.00 1.60 2.48

time (sec)

N/A 0.403 5.890 0.353 0.219 0.280 0.000 0.365 12.394

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 135 148 128 141 147 0 226 356

N.S.

1 1.03 1.13 0.98 1.08 1.12 0.00 1.73 2.72

time (sec)

N/A 0.409 6.703 0.335 0.330 0.282 0.000 0.381 10.007

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 141 164 181 183 185 0 241 347

N.S.

1 1.03 1.20 1.32 1.34 1.35 0.00 1.76 2.53

time (sec)

N/A 0.395 7.233 0.413 0.295 0.309 0.000 0.404 9.767

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 138 201 167 185 206 0 250 339

N.S.

1 1.03 1.50 1.25 1.38 1.54 0.00 1.87 2.53

time (sec)

N/A 0.373 9.933 0.405 0.301 0.283 0.000 0.406 9.595

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 142 215 198 209 231 0 241 329

N.S.

1 1.03 1.56 1.43 1.51 1.67 0.00 1.75 2.38

time (sec)

N/A 0.397 7.256 0.382 0.324 0.308 0.000 0.419 10.302

[next] [prev] [prev-tail] [front] [up]